(0 16 4)(1 17 14)(2 13 10)(3 9 7)(5 11 8)(6 15 12)
ALLOWS (11/8)-SEQUENCE
1: (6 12 15)
(0 16 4)(1 17 14)(2 13 10)(3 9 7)(5 11 8)(6 12 15)
2: (2 13 10)
(0 16 4)(1 17 14)(2)(3 9 7)(5 11 8)(6 12 15)(10)(13)
3: (5 11 8)
(0 16 4)(1 17 14)(2)(3 9 7)(5)(6 12 15)(8)(10)(11)(13)
4: (6 12 15)
(0 16 4)(1 17 14)(2)(3 9 7)(5)(6)(8)(10)(11)(12)(13)(15)